agda (programming language) перевод

• Agda

• agda:    Agda (programming language)
• programming language:    1) _комп. язык программирования
• s (programming language):    S (язык программирования)